home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ol / release.txt < prev   
Text File  |  1993-07-22  |  2KB  |  52 lines
  1. OL(P): Object Layer for Prolog
  2.  
  3. This is to announce OL(P), an object-oriented extension to Prolog.
  4.  
  5. Version 1.1 can be installed for SICStus Prolog 2.1, SICStus Prolog
  6. 0.6, and QUINTUS Prolog.
  7.  
  8. Object Layer for Prolog, OL(P), provides an object-oriented
  9. structuring and reuse mechanism for Prolog. The primary goal of OL(P)
  10. is to provide this mechanism in a way that is performance and
  11. semantics preserving. This is achieved by compiling the object-
  12. oriented layer to Prolog without introducing any side-effects. Thus,
  13. Prolog's computational model is retained, and meta-programs can easily
  14. be adapted from Prolog. Full Prolog can be used in OL(P), and
  15. different Prolog variants are allowed as base languages.
  16.  
  17. OL(P) takes the view of objects as collections of predicates (called
  18. methods).  To Prolog, OL(P) 1.1 adds objects with methods, data
  19. encapsulation, instances, and multiple inheritance. Object methods can
  20. access Prolog predicates and vice versa. The OL(P) incremental
  21. compiler translates OL(P) programs to Prolog programs that don't need
  22. runtime interpretation (e.g., no search is needed for inheritance).
  23.  
  24. OL(P) 1.1 comes with prepared installation for SICStus Prolog and
  25. QUINTUS Prolog (on UNIX), documentation, simple built-in project
  26. management, some libraries, and example programs. The source is
  27. included, so you can port OL(.) to different platforms, different
  28. Prolog systems, and different logic programming languages.
  29.  
  30. Markus P.J. Fromherz
  31.  
  32.  
  33. You can get the OL(P) software by anonymous FTP from
  34. <parcftp@parc.xerox.com> (or <13.1.64.94>), directory /pub/ol.
  35. For example, type in a shell after the prompts:
  36.    % ftp parcftp@parc.xerox.com
  37.    ftp> cd /pub/ol
  38.    ftp> mget *
  39. Then follow the instructions in the file `README'.
  40.  
  41. 6/23/93
  42.  
  43.  
  44. Changes 1.0 -> 1.1:
  45.  
  46. - Provide settings for SICStus Prolog 0.6 and QUINTUS Prolog users.
  47.   (Thanks to Jose Alberto, Univ. of Maryland, for helping me out there.)
  48. - Put some operators in parentheses so the Quintus Prolog parser won't
  49.   complain.
  50. - Added a check to the portray/1 clause for method goals `O(M,S,I)', which
  51.   are now display as `in O: S(I)::M' only if M is a method of O.
  52.